Verif相关论文
An automated damage diagnostic system for collecting plasma flash is developed to diagnose damage in a laser-induced dam......
Concurrent programs written in a machine level language are being used in many areas but verification of such programs b......
采用传递比较法对二厘米微波衰减标准装置不确定度进行了验证.测量标准装置的重复性以组内实验标准偏差sn(A)定量表征,测量标准装......
通过选取2000-2010年中国非木质林产品进出口总额及林业生产总值的相关数据,分析中国非木质林产品的进出口贸易现状,进而在此基础......
采用强电磁场环境模拟与防护技术，选择两种工业电雷管，分别在37．5MHz、50MHz、144MHz以及450MHz频率点对理论推算出来的工业电雷管防......
由于缺乏有效的公理获取与验证系统,无法实现自动推理,严重阻碍了语义Web的发展.本文针对政府角色及角色关系,提出一种半自动政府......
介绍锦赤铁路大凌河特大桥梁墩柱桩基偏移的处理设计和措施，扩大承台，验算承载力，使其达到满足设计承载力的要求。该方案既缩短了施工......
模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规......
目的：建立扬生远红外护脐带的无菌检查方法。方法：本试验取扬生远红外护脐带，按《中国药典））20lo年版二部“无菌检查法”项下进行。结果......
提出了一个线性带权值的广义表Linear Weighted Generalized List，LWGL）模型，同时给出了LWGL加法和乘法、析取和合取运算规则，实现了基......
〔摘要〕 毛泽东在作《论十大关系》的报告前，听取了三十多个部门的工作汇报。笔者仔细比对了几本权威党史著作对毛泽东听取汇报过......
该文针对多方与多方之间的秘密共享问题,通过对Bell态的两个粒子分别进行相位旋转局域操作,以及Pauli变换与Hadamard变换、I变换之......
可验证加密签名方案的公平性完全由仲裁者中立问题决定,这样就降低了交换签名的安全性。为了应对这种情况,利用双线性对的性质,结......
针对WTLS握手协议中的特殊密码原语,用等值理论定义了椭圆曲线DH密钥交换原语,用可信机构颁发数字证书的方式定义了数字证书原语。......
期间核查是对校准实验室和检测实验室的通用要求之一，计量标准的核查关系到该地区计量活动和检测结果的有效性和准确性。期间核查的......
排队理论广泛应用于防空武器系统突防过程的分析和突防概率的解算。首先对目标服务时间和最大等待时间分布特性进行了理论分析。应......
为了对磁驱动实验提供高置信度的数值模拟,需要开展磁流体力学程序的验证与确认。采用人为解比较法、网格收敛性研究和与成熟程序......
总结了宜昌地震台SS-Y伸缩仪在安装、调试、维护、管理等方面的经验。...
